<!DOCTYPE html>
<html>
  <head>
    <title></title>
  </head>
  <body></body>
  <script>
    let route = window.location.pathname
    if (route.startsWith('/address/0x') && route.length === 51) {
      window.location.href = '/#address=' + route.replace('/address/', '')
    } else if (route.endsWith('.sol')) {
      window.location.href = '/#url=https://github.com' + route 
    } else window.location.href = '/' 
  </script>
</html>